bitkeeper revision 1.1727 (42b7f582gUHqAUb5mTuwLQl2pH6LXA)

ignore: Add tools/policy/policy_tool and tools/policy/xen/*.
Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>

diff --git a/BitKeeper/etc/ignore b/BitKeeper/etc/ignore
index a6d5a390a0e4344342c243ea845e9b4ba0dd904f..e8c82227fea40e261a3e153f1f23a8ee89974da6 100644 (file)
--- a/BitKeeper/etc/ignore
+++ b/BitKeeper/etc/ignore
@@ -124,6 +124,8 @@ tools/misc/miniterm/miniterm
 tools/misc/xc_shadow
 tools/misc/xen_cpuperf
 tools/misc/xenperf
+tools/policy/policy_tool
+tools/policy/xen/*
 tools/pygrub/build/*
 tools/python/build/*
 tools/tests/test_x86_emulator